what is int32